Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
191	how can your business reach 1.8 million northwest consumers right now? Learn more at seattletimes.com/mediakit What website gets Add to Reading List Source URL: mediakit.seattletimes.com Language: English - Date: 2015-05-04 17:19:46 Declarative programming Origami Paper art Fold More Anamorphism Paper folding Software engineering Functional programming
192	How to Write Computer Programs John Scholes – Dyalog Ltd “After all, animals is only human, innit?” – Ali G. Apology I apologise to those of you who already know how to write computer programs; Add to Reading List Source URL: www.causeway.co.uk Language: English - Date: 2013-12-20 03:46:07 APL programming language family Array programming languages Programming paradigms Functional languages Computer languages APL Declarative programming ACT-R Procedural programming Computing Software engineering Computer programming
193	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
194	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
195	Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2005-07-13 17:03:59 Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming
196	BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud Peter Alvaro Tyson Condie Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2010-02-19 16:42:02 Cloud computing Query languages Parallel computing Hadoop Apache Hadoop Datalog MapReduce SQL MapR Computing Concurrent computing Cloud infrastructure
197	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Symbol Clojure Monad Computing Software engineering Declarative programming
198	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
199	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
200	Optimizing Rakudo Perl 6 Jonathan Worthington OH HAI Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:20 Perl 6 Rakudo Perl 6 Perl Computer program VM EXE Declarative programming Executable Computing Software engineering Software

UPDATE